Feeds to Scour
SubscribedAll
Scoured 122959 posts in 38.3 ms
Approximation algorithms for satisfiable and nearly satisfiable ordering CSPs  ⚖️Y-Fast Tries
arxiv.org·1d·
Amazon Bedrock Automated Reasoning Checks: Eliminate Hallucinations with AI  🧩Constraint Programming
dev.to·6d·DEV·
dropbox/dMATH: Formal verification and theorem proving tools  ✓Formal Verification
github.com·2d·Hacker News·
The Type Theorists need to take a look at Zig  📐Type Theory
pure-systems.org·5d·Hacker News·
bqn-smt  🧮MKL
codeberg.org·1d·Lobsters·
GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra  🧩Constraint Programming
arxiv.org·1d·
Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels  🔍KLEE
arxiv.org·6d·
Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution  🔍KLEE
arxiv.org·2d·
Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis  🔎Valgrind
arxiv.org·2d·
Query-Specific Pruning of RML Mappings (Extended Version)  🐻‍❄️Polars Lazy
arxiv.org·3d·
Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning  🌊CALM Theorem
arxiv.org·1d·
Chance-Constrained Iterative Linear-Quadratic Stochastic Games  🎯Reinforcement Learning
arxiv.org·6d·
WybeCoder: Verified Imperative Code Generation  🏗️Pavex
arxiv.org·1d·
MPC as a Copilot: A Predictive Filter Framework with Safety and Stability Guarantees  🧭Inertial Navigation
arxiv.org·2d·
SCORE: Statistical Certification of Regions of Attraction via Extreme Value Theory  ⚓Anchors
arxiv.org·1d·
Safe Adaptive-Sampling Control via Robust M-Step Hold Model Predictive Control  🚀Superoptimization
arxiv.org·2d·

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help